Improved Methods and Principles for Designing and Analyzing Security Protocols

Security protocols are a critical element of the infrastructures needed for secure communication and processing information. Before designing and analyzing protocols, it is important to reduce avoidable work. In this article, we presented the methods to prevent replay attacks [11] and attacks of the type flaw attacks on the protocols. We studied two types of attacks already mentioned. We presented some principles for secure protocols. To meet these principles, we have presented some methods for the design of security protocols. Some security vulnerabilities in security protocols published could be found by the principles presented and then we try to improve these protocols with the methods presented. A number of examples in the literature show that the work done in the document is very important.